ACC_TEST: Hybrid Testing Techniques for MPI-Based Programs
نویسندگان
چکیده
منابع مشابه
Two automated techniques for analyzing and debugging Mpi-based programs
Message Passing Interface (MPI) is the most commonly used paradigm in writing parallel programs since it can be employed not only within a single processing node but also across several connected ones. Data flow analysis concepts, techniques and tools are needed to understand and analyze MPI-based programs to detect bugs arise in these programs. In this paper we propose two automated techniques...
متن کاملA Hybrid Approach for Tracing MPI Programs
A hybrid performance monitor is presented. The hardware and software components of the system are discussed. The design of the probes to support MPI is presented along with some example displays generated by the system. This system has been successfully used to monitor several MPI applications with minimal in-trusiveness.
متن کاملA Tool for Structural Testing of MPI Programs
Among the message passing environments, MPI (Message Passing Interface) has been considered by several authors as the de facto standard to build parallel software. In spite of this great popularization, there is a lack of tools that support the test of MPI programs. The existent tools do not support the application of a test criterion; they only aim at the visualization and debugging. The use o...
متن کاملTesting Techniques for Data-Flow Synchronous Programs
Three approaches to the problem of testing synchronous data-flow programs written in LUSTRE are presented. LUSTRE is a language well-adapted to both the specification and the development of reactive software. The first approach automatically transforms a set of LUSTRE invariant properties characterizing the environment of the reactive program into a constrained random generator of test data seq...
متن کاملProtocol-based verification of MPI programs
We present a methodology for the verification of Message Passing Interface (MPI) programs written in C. The aim is to statically verify programs against protocol specifications, enforcing properties such as fidelity and absence of deadlocks. We make use of a protocol language based on a dependent type system for message-passing parallel programs. For the verification of a program against a give...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2020
ISSN: 2169-3536
DOI: 10.1109/access.2020.2994172